WXME0108 ## 
#|
   This file is in PLT Scheme editor format.
   Most likely, it was created by saving a program in DrScheme,
   and it probably contains a program with non-text elements (such
   as pictures, comment boxes, or test-cases boxes).
   Open this file in DrScheme to read its content.
                 www.plt-scheme.org
|#
 31 7 #"wxtext\0"
3 1 6 #"wxtab\0"
1 1 8 #"wxmedia\0"
3 1 8 #"wximage\0"
2 0 34 #"(lib \"syntax-browser.ss\" \"mrlib\")\0"
1 0 16 #"drscheme:number\0"
3 0 44 #"(lib \"number-snip.ss\" \"drscheme\" \"private\")\0"
1 0 36 #"(lib \"comment-snip.ss\" \"framework\")\0"
1 0 43 #"(lib \"collapsed-snipclass.ss\" \"framework\")\0"
0 0 19 #"drscheme:sexp-snip\0"
0 0 33 #"(lib \"bullet-snip.ss\" \"browser\")\0"
0 0 29 #"drscheme:bindings-snipclass%\0"
1 0 36 #"(lib \"cache-image-snip.ss\" \"mrlib\")\0"
1 0 22 #"drscheme:lambda-snip%\0"
1 0 60
(
 #"(lib \"implementation.ss\" \"macro-debugger\" \"syntax-br"
 #"owser\")\0"
) 2 0 18 #"java-comment-box%\0"
1 0 23 #"java-interactions-box%\0"
1 0 15 #"make-line-snip\0"
1 0 15 #"make-line-snip\0"
1 0 13 #"example-box%\0"
2 0 18 #"interactions-box%\0"
2 0 45 #"(lib \"image-snipr.ss\" \"slideshow\" \"private\")\0"
1 0 26 #"drscheme:pict-value-snip%\0"
0 0 38 #"(lib \"pict-snipclass.ss\" \"slideshow\")\0"
2 0 55
(
 #"(lib \"vertical-separator-snip.ss\" \"stepper\" \"private"
 #"\")\0"
) 1 0 18 #"drscheme:xml-snip\0"
1 0 31 #"(lib \"xml-snipclass.ss\" \"xml\")\0"
1 0 21 #"drscheme:scheme-snip\0"
2 0 34 #"(lib \"scheme-snipclass.ss\" \"xml\")\0"
1 0 15 #"test-case-box%\0"
2 0 10 #"text-box%\0"
1 0 1 6 #"wxloc\0"
00000000000 1 49 0 1 #"\0"
0 75 1 #"\0"
0 12 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 0 9
#"Standard\0"
0 75 12 #"Courier New\0"
0 16 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 2 24
#"framework:default-color\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 27
#"Matching Parenthesis Style\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 40
#"framework:syntax-coloring:scheme:symbol\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 41
#"framework:syntax-coloring:scheme:keyword\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 54 5 0 0 0 -1 -1 2 41
#"framework:syntax-coloring:scheme:comment\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 54 5 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 40
#"framework:syntax-coloring:scheme:string\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 42
#"framework:syntax-coloring:scheme:constant\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 45
#"framework:syntax-coloring:scheme:parenthesis\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 39
#"framework:syntax-coloring:scheme:error\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 39
#"framework:syntax-coloring:scheme:other\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 14
#"Html Standard\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2
49 #"drscheme:check-syntax:lexically-bound-identifier\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 42
#"drscheme:check-syntax:imported-identifier\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 37
#"profj:syntax-coloring:scheme:keyword\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 0 139 0 0 0 -1 -1 2 39
#"profj:syntax-coloring:scheme:prim-type\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 0 139 0 0 0 -1 -1 2 40
#"profj:syntax-coloring:scheme:identifier\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 36
#"profj:syntax-coloring:scheme:string\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 37
#"profj:syntax-coloring:scheme:literal\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2
37 #"profj:syntax-coloring:scheme:comment\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2
35 #"profj:syntax-coloring:scheme:error\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 37
#"profj:syntax-coloring:scheme:default\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 39
#"profj:syntax-coloring:scheme:uncovered\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 37
#"profj:syntax-coloring:scheme:covered\0"
0 -1 1 #"\0"
1 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 0 139 0 0 0 -1 -1 2 1
#"\0"
0 70 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 2 4
#"XML\0"
0 70 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 4 1
#"\0"
0 71 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 4 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 255 0 0 0 -1 -1 4 1
#"\0"
0 71 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 255 0 0 0 -1 -1 4 1
#"\0"
0 71 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 100 0 0 0 0 -1 -1 4 1
#"\0"
0 75 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 100 0 0 0 0 -1 -1 0 1
#"\0"
0 -1 1 #"\0"
1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 200 0 0 0 0 0 -1 -1
00000000002 0 00000000000 7 00000000000 75 0 11 3 10 #";; lang3-2"
0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 16 3 1 #"("
0 0 9 3 6 #"module"
0 0 4 3 1 #" "
0 0 8 3 5 #"tests"
0 0 4 3 1 #" "
0 0 8 3 8 #"mzscheme"
0 0 4 29 1 #"\n"
0 0 4 3 2 #"  "
0 0 4 29 1 #"\n"
0 0 4 3 2 #"  "
0 0 16 3 1 #"("
0 0 8 3 7 #"provide"
0 0 4 3 1 #" "
0 0 8 3 9 #"test-list"
0 0 16 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 2 #"  "
0 0 11 3 39 #";;;;;;;;;;;;;;;; tests ;;;;;;;;;;;;;;;;"
0 0 4 29 1 #"\n"
0 0 4 3 2 #"  "
0 0 4 29 1 #"\n"
0 0 4 3 2 #"  "
0 0 16 3 1 #"("
0 0 9 3 6 #"define"
0 0 4 3 1 #" "
0 0 8 3 9 #"test-list"
0 0 4 29 1 #"\n"
0 0 4 3 4 #"    "
0 0 14 3 1 #"'"
0 0 16 3 1 #"("
0 0 4 29 1 #"\n"
0 0 4 3 2 #"  "
0 0 4 29 1 #"\n"
0 7 00000003367 4 00000000000 1 00000000000 560 0 2 3 6 #"      "
0 0 11 3 20 #";; simple arithmetic"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 14 #"positive-const"
0 0 2 3 1 #" "
0 0 13 3 4 #"\"11\""
0 0 2 3 1 #" "
0 0 14 3 2 #"11"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 14 #"negative-const"
0 0 2 3 1 #" "
0 0 13 3 5 #"\"-33\""
0 0 2 3 1 #" "
0 0 14 3 3 #"-33"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 14 #"simple-arith-1"
0 0 2 3 1 #" "
0 0 13 3 10 #"\"-(44,33)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"11"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 2 #"  "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 20 #";; nested arithmetic"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 17 #"nested-arith-left"
0 0 2 3 1 #" "
0 0 13 3 16 #"\"-(-(44,33),22)\""
0 0 2 3 1 #" "
0 0 14 3 3 #"-11"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 18 #"nested-arith-right"
0 0 2 3 1 #" "
0 0 13 3 17 #"\"-(55, -(22,11))\""
0 0 2 3 1 #" "
0 0 14 3 2 #"44"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 42 #";;ex-3.7 Adding some more Arithmetic tests"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 14 #"multiplication"
0 0 2 3 1 #" "
0 0 13 3 10 #"\"*(20,20)\""
0 0 2 3 1 #" "
0 0 14 3 3 #"400"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 13 #"negetive-mult"
0 0 2 3 2 #"  "
0 0 13 3 11 #"\"*(-20,20)\""
0 0 2 3 1 #" "
0 0 14 3 4 #"-400"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 8 #"Addition"
0 0 2 3 7 #"       "
0 0 13 3 10 #"\"+(20,20)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"40"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 11 #"Add-negtive"
0 0 2 3 4 #"    "
0 0 13 3 11 #"\"+(-20,20)\""
0 0 2 3 1 #" "
0 0 14 3 1 #"0"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 8 #"Division"
0 0 2 3 7 #"       "
0 0 13 3 9 #"\"/(20,3)\""
0 0 2 3 2 #"  "
0 0 14 3 1 #"6"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 12 #"Division-neg"
0 0 2 3 3 #"   "
0 0 13 3 11 #"\"/(-20,20)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"-1"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 8 #";;ex-3.8"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 14 #"Check-Equality"
0 0 2 3 1 #" "
0 0 13 3 15 #"\"equal?(20,20)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"#t"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 16 #"Check-Equal-Fail"
0 0 2 3 1 #" "
0 0 13 3 15 #"\"equal?(20,30)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"#f"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 23 #"Check-Negetive-Equality"
0 0 2 3 1 #" "
0 0 13 3 17 #"\"equal?(-20,-20)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"#t"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 25 #"Check-Negetive-Equal-Fail"
0 0 2 3 1 #" "
0 0 13 3 16 #"\"equal?(20,-20)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"#f"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 12 #"greater-test"
0 0 2 3 4 #"    "
0 0 13 3 17 #"\"greater?(40,30)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"#t"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 17 #"greater-test-fail"
0 0 2 3 4 #"    "
0 0 13 3 17 #"\"greater?(30,40)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"#f"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 21 #"greater-test-negetive"
0 0 2 3 4 #"    "
0 0 13 3 19 #"\"greater?(-30,-40)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"#t"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 26 #"greater-test-negetive-fail"
0 0 2 3 4 #"    "
0 0 13 3 18 #"\"greater?(-40,30)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"#f"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 17 #";;adding the not "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 8 #"not-test"
0 0 2 3 5 #"     "
0 0 13 3 20 #"\"not(equal?(20,30))\""
0 0 2 3 1 #" "
0 0 14 3 2 #"#t"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 10 #"not-test-2"
0 0 2 3 3 #"   "
0 0 13 3 20 #"\"not(equal?(20,20))\""
0 0 2 3 1 #" "
0 0 14 3 2 #"#f"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 6 #";;cond"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 14 #"condition-test"
0 0 2 3 1 #" "
0 0 13 3 30 #"\"cond {equal?(2,2) ==> 3} end\""
0 0 2 3 1 #" "
0 0 14 3 1 #"3"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 16 #"condition-test-2"
0 0 2 3 1 #" "
0 0 13 3 50 #"\"cond {equal?(2,3) ==> 3} {equal?(2,2) ==> 4} end\""
0 0 2 3 1 #" "
0 0 14 3 1 #"4"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 16 #"condition-test-2"
0 0 2 3 1 #" "
0 0 13 3 50 #"\"cond {equal?(2,3) ==> 3} {equal?(2,5) ==> 4} end\""
0 0 2 3 1 #" "
0 0 14 3 1 #"0"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 8 #";;allof "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 13 #"all-of-simple"
0 0 2 3 1 #" "
0 0 13 3 33 #"\"allof zero?(0) and zero?(0) end\""
0 0 2 3 1 #" "
0 0 14 3 2 #"#t"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 13 #"allof-1-arg-1"
0 0 2 3 1 #" "
0 0 2 29 1 #"\n"
0 0 2 3 7 #"       "
0 0 13 3 37 #"\"if allof zero?(0) end then 3 else 4\""
0 0 2 3 1 #" "
0 0 2 29 1 #"\n"
0 0 2 3 7 #"       "
0 0 14 3 1 #"3"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 4 #"    "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 18 #"allof-2-get-second"
0 0 2 29 1 #"\n"
0 0 2 3 7 #"       "
0 0 13 3 1 #"\""
0 0 13 29 1 #"\n"
0 0 13 3 31 #"        let x = 0 in let y = 1 "
0 0 13 29 1 #"\n"
0 0 13 3 47 #"          in if allof zero?(x) and zero?(y) end"
0 0 13 29 1 #"\n"
0 0 13 3 28 #"            then 33 else 44\""
0 0 2 29 1 #"\n"
0 0 2 3 7 #"       "
0 0 14 3 2 #"44"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 26 #"allof-2-check-shortcutting"
0 0 2 29 1 #"\n"
0 0 2 3 7 #"       "
0 0 13 3 1 #"\""
0 0 13 29 1 #"\n"
0 0 13 3 55 #"        let f = proc (x) aha   % raises error if called"
0 0 13 29 1 #"\n"
0 0 13 3 44 #"          in if allof zero?(1) and (f 1) end"
0 0 13 29 1 #"\n"
0 0 13 3 26 #"            then 3 else 4\""
0 0 2 29 1 #"\n"
0 0 2 3 7 #"       "
0 0 14 3 1 #"4"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 19 #";; simple variables"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 10 #"test-var-1"
0 0 2 3 1 #" "
0 0 13 3 3 #"\"x\""
0 0 2 3 1 #" "
0 0 14 3 2 #"10"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 10 #"test-var-2"
0 0 2 3 1 #" "
0 0 13 3 8 #"\"-(x,1)\""
0 0 2 3 1 #" "
0 0 14 3 1 #"9"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 10 #"test-var-3"
0 0 2 3 1 #" "
0 0 13 3 8 #"\"-(1,x)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"-9"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 27 #";; simple unbound variables"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 18 #"test-unbound-var-1"
0 0 2 3 1 #" "
0 0 13 3 5 #"\"foo\""
0 0 2 3 1 #" "
0 0 8 3 5 #"error"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 18 #"test-unbound-var-2"
0 0 2 3 1 #" "
0 0 13 3 10 #"\"-(x,foo)\""
0 0 2 3 1 #" "
0 0 8 3 5 #"error"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 2 #"  "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 22 #";; simple conditionals"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 7 #"if-true"
0 0 2 3 1 #" "
0 0 13 3 27 #"\"if zero?(0) then 3 else 4\""
0 0 2 3 1 #" "
0 0 14 3 1 #"3"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 8 #"if-false"
0 0 2 3 1 #" "
0 0 13 3 27 #"\"if zero?(1) then 3 else 4\""
0 0 2 3 1 #" "
0 0 14 3 1 #"4"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 28 #";; test dynamic typechecking"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 17 #"no-bool-to-diff-1"
0 0 2 3 1 #" "
0 0 13 3 15 #"\"-(zero?(0),1)\""
0 0 2 3 1 #" "
0 0 8 3 5 #"error"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 17 #"no-bool-to-diff-2"
0 0 2 3 1 #" "
0 0 13 3 15 #"\"-(1,zero?(0))\""
0 0 2 3 1 #" "
0 0 8 3 5 #"error"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 12 #"no-int-to-if"
0 0 2 3 1 #" "
0 0 13 3 20 #"\"if 1 then 2 else 3\""
0 0 2 3 1 #" "
0 0 8 3 5 #"error"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 54 #";; make sure that the test and both arms get evaluated"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 13 #";; properly. "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 17 #"if-eval-test-true"
0 0 2 3 1 #" "
0 0 13 3 34 #"\"if zero?(-(11,11)) then 3 else 4\""
0 0 2 3 1 #" "
0 0 14 3 1 #"3"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 18 #"if-eval-test-false"
0 0 2 3 1 #" "
0 0 13 3 35 #"\"if zero?(-(11, 12)) then 3 else 4\""
0 0 2 3 1 #" "
0 0 14 3 1 #"4"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 53 #";; and make sure the other arm doesn't get evaluated."
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 19 #"if-eval-test-true-2"
0 0 2 3 1 #" "
0 0 13 3 37 #"\"if zero?(-(11, 11)) then 3 else foo\""
0 0 2 3 1 #" "
0 0 14 3 1 #"3"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 20 #"if-eval-test-false-2"
0 0 2 3 1 #" "
0 0 13 3 36 #"\"if zero?(-(11,12)) then foo else 4\""
0 0 2 3 1 #" "
0 0 14 3 1 #"4"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 13 #";; simple let"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 12 #"simple-let-1"
0 0 2 3 1 #" "
0 0 13 3 16 #"\"let x = 3 in x\""
0 0 2 3 1 #" "
0 0 14 3 1 #"3"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 43 #";; make sure the body and rhs get evaluated"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 13 #"eval-let-body"
0 0 2 3 1 #" "
0 0 13 3 21 #"\"let x = 3 in -(x,1)\""
0 0 2 3 1 #" "
0 0 14 3 1 #"2"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 12 #"eval-let-rhs"
0 0 2 3 1 #" "
0 0 13 3 26 #"\"let x = -(4,1) in -(x,1)\""
0 0 2 3 1 #" "
0 0 14 3 1 #"2"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 33 #";; check nested let and shadowing"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 17 #"simple-nested-let"
0 0 2 3 1 #" "
0 0 13 3 34 #"\"let x = 3 in let y = 4 in -(x,y)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"-1"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 23 #"check-shadowing-in-body"
0 0 2 3 1 #" "
0 0 13 3 29 #"\"let x = 3 in let x = 4 in x\""
0 0 2 3 1 #" "
0 0 14 3 1 #"4"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 22 #"check-shadowing-in-rhs"
0 0 2 3 1 #" "
0 0 13 3 34 #"\"let x = 3 in let x = -(x,1) in x\""
0 0 2 3 1 #" "
0 0 14 3 1 #"2"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 11 3 22 #";; simple applications"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 23 #"apply-proc-in-rator-pos"
0 0 2 3 1 #" "
0 0 13 3 22 #"\"(proc(x) -(x,1)  30)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"29"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 17 #"apply-simple-proc"
0 0 2 3 1 #" "
0 0 13 3 35 #"\"let f = proc (x) -(x,1) in (f 30)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"29"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 13 #"let-to-proc-1"
0 0 2 3 1 #" "
0 0 13 3 32 #"\"(proc(f)(f 30)  proc(x)-(x,1))\""
0 0 2 3 1 #" "
0 0 14 3 2 #"29"
0 0 16 3 1 #")"
0 00000000000 0 0 4 29 1 #"\n"
0 0 4 29 1 #"\n"
0 0 4 3 6 #"      "
0 0 11 3 25 #";; simple pair expression"
0 0 4 29 1 #"\n"
0 0 4 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 11 #"simple-pair"
0 0 4 3 1 #" "
0 0 13 3 51 #"\"let z = pair(3,4) in unpair z as (x,y)  in -(y,x)\""
0 0 4 3 1 #" "
0 0 14 3 1 #"1"
0 0 16 3 1 #")"
0 0 4 29 1 #"\n"
0 0 4 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 12 #"complex-pair"
0 0 4 3 1 #" "
0 0 13 3 51 #"\"let z = pair(3, pair(proc (u) proc (v) -(u,v), 4))"
0 0 13 29 1 #"\n"
0 0 13 3 46 #"                        in unpair z as (u,p2) "
0 0 13 29 1 #"\n"
0 0 13 3 47 #"                          in unpair p2 as (f,v)"
0 0 13 29 1 #"\n"
0 0 13 3 42 #"                             in ((f u) v)\""
0 0 4 3 1 #" "
0 0 14 3 2 #"-1"
0 0 16 3 1 #")"
0 0 4 29 1 #"\n"
0 7 00000000277 4 00000000000 1 00000000000 45 0 2 29 1 #"\n"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 12 #"nested-procs"
0 0 2 3 1 #" "
0 0 13 3 35 #"\"((proc (x) proc (y) -(x,y)  5) 6)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"-1"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 16 3 1 #"("
0 0 8 3 13 #"nested-procs2"
0 0 2 3 1 #" "
0 0 13 3 52 #"\"let f = proc(x) proc (y) -(x,y) in ((f -(10,5)) 6)\""
0 0 2 29 1 #"\n"
0 0 2 3 8 #"        "
0 0 14 3 2 #"-1"
0 0 16 3 1 #")"
0 0 2 29 1 #"\n"
0 0 2 3 6 #"      "
0 0 2 29 1 #"\n"
0 0 2 3 7 #"       "
0 0 16 3 1 #"("
0 0 8 3 14 #"y-combinator-1"
0 0 2 3 1 #" "
0 0 13 3 1 #"\""
0 0 13 29 1 #"\n"
0 0 13 3 19 #"let fix =  proc (f)"
0 0 13 29 1 #"\n"
0 0 13 3 51 #"            let d = proc (x) proc (z) ((f (x x)) z)"
0 0 13 29 1 #"\n"
0 0 13 3 37 #"            in proc (n) ((f (d d)) n)"
0 0 13 29 1 #"\n"
0 0 13 3 6 #"in let"
0 0 13 29 1 #"\n"
0 0 13 3 67
#"    t4m = proc (f) proc(x) if zero?(x) then 0 else -((f -(x,1)),-4)"
0 0 13 29 1 #"\n"
0 0 13 3 25 #"in let times4 = (fix t4m)"
0 0 13 29 1 #"\n"
0 0 13 3 17 #"   in (times4 3)\""
0 0 2 3 1 #" "
0 0 14 3 2 #"12"
0 0 16 3 1 #")"
0 00000000000 0 0 4 29 1 #"\n"
0 0 4 3 7 #"       "
0 0 4 29 1 #"\n"
0 0 4 3 6 #"      "
0 0 16 3 2 #"))"
0 0 4 29 1 #"\n"
0 0 4 3 2 #"  "
0 0 16 3 1 #")"
0 00000000000
